1. Program construction and verification

by Backhouse, Roland C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Englewood: Prentice Hall, 1986Availability: Items available for loan: [Call number: 005 BAC] (1).
2. Design methods and analysis of algorithms

by Basu, S. K.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi: Prentice Hall, 2005Availability: Items available for loan: [Call number: 519.4 BAS] (5).
3. Computer programming and utilization

by Sudarshan, S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mumbai: Centre for Distance Engineering Education Programme, IIT Bombay, 2008Availability: Items available for loan: [Call number: 005.1 SUD] (30).

Powered by Koha